Population genetics of the Asian tiger mosquito Aedes albopictus, an invasive vector of human diseases