Computational Complexity of Air Travel Planning [pdf]