Does Yanji have a larger population than Jinzhong?