Modeling Lane-Changing Behavior in a Connected Environment: A Game Theory Approach | Synapse