coal mining equipment industry in south africa