machine technology used diamond mining