塞内加尔货币是什么