Optimal Decision Diagrams for Classification