A game theoretic macroscopic model of lane choices at traffic diverges with applications to mixed–autonomy networks. (February 2021)