African mining sector growth