An Exact Algorithm for Semi-supervised Minimum Sum-of-Squares Clustering