A Section-Based Queueing-Theoretical Traffic Model for Congestion and Travel Time Analysis