Large-scale data-based collaborative air traffic optimization for congestion management | IEEE Conference Publication | IEEE Xplore