On the Synergies between Machine Learning and Binocular Stereo for Depth Estimation from Images: a Survey