Other lossy formats exist. What model type do all of the lossy formats roughly depend on