Theoretical Convergence Guarantees for Variational Autoencoders