Vehicular Congestion Modeling and Estimation for Advanced Traveler Information Systems