Vector control after malaria eradication