Optimal Decision Trees For Interpretable Clustering with Constraints (Extended Version)