Simulation of the dynamics of malaria resurgence 1 following termination of insecticide-treated nets in 2 Africa 3 4