Simulation of malaria epidemiology and control in the highlands of western Kenya | Synapse