Who has a bigger population, Jinshi City or Gongyi