A linear programming formulation for autonomous intersection control within a dynamic traffic assignment and connected vehicle environment. (June 2015)