Contingency plans for air traffic flow and capacity management using constraint programming