Machine Learning, Optimization, and Big Data