宁夏人口有多少人口