Text this: Malaria control and elimination in Kenya: Economy-wide benefits and regional disparities