The population of Tianjin is __ than that of Shanghai