Optimization and mediated bartering models for ground delay programs | Synapse