Convergence properties of simulated annealing for continuous global optimization