Fuzzy Feedback Control for Real-Time Dynamic Traffic Routing: User Equilibrium Model Formulations and Controller Design