machinery used in diamond mining