list of machines used in diamond mining