A space-indexed formulation of packing boxes into a larger box