what's the current population of mexico city