Simulation of the cost-effectiveness of malaria vaccines