A Comparison of Formulations for the Single-Airport Ground-Holding Problem with Banking Constraints | Synapse