what equipment is used to mine platinum