Symmetrization of 2D Polygonal Shapes Using Mixed-Integer Programming