Machine Learning NeEDS Mathematical Optimization