Play Fast and Provably Good Seedings for k-Means