Efficient and robust analysis-by-synthesis in vision: A computational framework, behavioral tests, and modeling neuronal representations