Li and Atick's theory of efficient binocular coding: A tutorial and mini-review. (December 2022)