开封市有多少人口