Bin packing and cutting stock problems: Mathematical models and exact algorithms