Optimization Formulations and Static Equilibrium in Congested