Future energy system challenges for Africa: Insights from Integrated Assessment Models