On Training Neural Networks with Mixed Integer Programming