Modeling collision risk for unsafe lane-changing behavior: A lane-changing risk index approach | Synapse