Dynamic network flow optimization models for air vehicle resource allocation | Synapse