The effective population size of Anopheles gambiae in Kenya: implications for population structure.