diamond equipment in mining used