Mathematical models of human mobility of relevance to malaria transmission in Africa