Mixed-Integer Optimization for Responsible Machine Learning