Combinatorial Benders’ Cuts for the Strip Packing Problem