Clustering with t-SNE, provably