塞内加尔是哪个国家的殖民地