Multi-Player Dynamic Game-Based Automatic Lane-Changing Decision Model under Mixed Autonomous Vehicle and Human-Driven Vehicle Environment | Synapse