Convergence of a simulated annealing algorithm for continuous global optimization