Stochastic Neighbor Embedding separates well-separated clusters