Bayesian stopping rules for improvement of local minima algorithms in global optimization