types of diamond mining equipment