Envy-minimizing pareto eﬃcient intersection control with brokered utility exchanges under user heterogeneity /Roger Lloret-Batlle ∗ , R. Jayakrishnan - Batlle,Roger Lloret-