African mining’s challenges and opportunities around the green energy transition