What is the estimated population of Nanjing during that time?