An Environment Information-Based Behavior-Constrained Cellular Automaton Model for Three-Phase Traffic Dynamics at Urban Work Zone Bottlenecks | Synapse