Properties of simulated annealing search