塞内加尔是哪个国家有多少人口