Models and Solution Methods for the Pallet Loading Problem