Bánrévei disznótor, disznóvágás