Simulated Annealing for constructing binary covering arrays of variable strength