Pro-social control of connected automated vehicles in mixed-autonomy multi-lane highway traffic | Synapse