the machinery used to mine platinum