Mixed integer linear optimization formulations for learning optimal binary classification trees