machinery used in mines