Stationary Models of Unqueued Traffic and Number of Freeway Travel Lanes