equipment used to mine diamonds