machine used in diamond mining equipment