Mathematical analysis of binocular vision