Bayesian Efficient Coding as a Theory of Perception: Progress, Controversies and Prospects | Synapse