Optimization models and methods for equilibrium traffic assignment. ([2020])