Mathematics, Optimization and Control Embedding Trained Machine Learning Models into Mixed-Integer Programs: A Primer December 13, 2023