Classifying Candida Species Using Mixed Integer Optimization Based Optimal Classification Trees