Schedule-Based Modeling of Transportation Networks: Theory a