Progress in malaria vector control