Schedule-Based Modeling of Transportation Networks:Theory a