what machinery is used to mine diamonds