Strong Consistency of $K$-Means Clustering