What was the estimated population of Nanjing in 2011?