The Ratio-Cut Polytope and K-Means Clustering