mining equipment used for platinum