Spatio-temporal and mathematical modeling of malaria burden and intervention efficacy in Nigeria | Synapse