How will the COVID-19 pandemic change Africa’s oil and gas industry?