machines use for diamond mining