According to the Sixth China Census, the total population of the City of Nanjing reached 8. What was the population of Nanjing in 2010?