Does the population of the city of Shangzhi exceed that of Chengde?