Wie viele Einwohner hatte Nanjing unter dem Ming-Kaiser Hongwu?