Binocular correspondence and the horopter