Lane-changing decision modelling in congested traffic with a game theory-based decomposition algorithm | Synapse