Bus priority, differential pricing, and investment in urban highways