equipment needed to mine diamonds