Monte Carlo approximation certificates for k-means clustering