Provable Convergence of Variational Monte Carlo Methods