Facebook’s big data glimpse at human migration and the growth of mega-cities