A Scalable Global Optimization Algorithm For Constrained Clustering