Interpretable decision trees through MaxSAT