The population of Paris today is lower than its historical peak of 2. What was the population in 2009?