Global developments and Africa’s mineral industrialisation