Global Convergence of Langevin Dynamics Based Algorithms for Nonconvex Optimization