software-based optimization for airline operations