all equipment used in platinum mines