A theoretic analysis of expressed toll lane pricing policy targeting for a guaranteed level of service | Synapse