Mixed Integer Linear Optimization Formulations for Learning Optimal Binary Classification Trees