Optimization formulations and static equilibrium in congested transportation networks · Study