Optimal mixed-mode runway scheduling — Mixed-integer programming for ATC scheduling | IEEE Conference Publication | IEEE Xplore