A Rigorous Link Between Self-Organizing Maps and Gaussian Mixture Models