machinery used to mine diamonds