Convergence analysis of a global optimization algorithm using stochastic differential equations