The spread of Anopheles stephensi in Africa