Learning Optimal Classification Trees Using a Binary Linear Program Formulation | Synapse