How maps and machine learning are helping to eliminate malaria