ELECTRIC PUNCH MACHINE, HYDRAULIC PUNCH