overview overview of the mining and quarrying industry in south africa