Gravar-mail: Reduction method with simulated annealing for semi-infinite programming