mining and quarrying industry in south africa