塞内加尔用的什么货币