machine operators in the mining sector in south africa