Optimizing Binary Decision Diagrams with MaxSAT for classification