Malaria Elimination Campaigns in the Lake Kariba Region of Zambia: A Spatial Dynamical Model | Synapse