Material utilization optimization through area-minimized rectangle packing: a reliable and exact piecewise linearization method