Mining in africa and its role in the global energy transition