A novel constraint propagation approach for airline schedule design problem