A mathematical model for the dynamics and control of malaria in Nigeria | Synapse