An individual-based model of Plasmodium falciparum malaria transmission on the coast of Kenya | Synapse