On the Synergies Between Machine Learning and Binocular Stereo for Depth Estimation From Images: A Survey