Part of the tie manufacturing process: cutting ties into shape