Managing change in airline operations with crew pairing optimization