A Bi-Level Optimization Formulation of Priority Service Pricing | Synapse