https://5dok.net/document/nzwg6llq-traffic-user-equilibrium-and-proportionality.html