State Space Reduced Dynamic Programming for the Aircraft Sequencing Problem with Constrained Position Shifting