Add the convergence proof of K-means algorithm