Lane-changing behavior on highways | Synapse