Convex formulations of aggregate network air traffic flow optimization problems | IEEE Conference Publication | IEEE Xplore