A computational theory of human stereo vision.