Gas, mines and agriculture: the drivers of Senegal’s economic transformation