Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification