equipment used in coal mines in south africa