A Game-Theoretic Model for Aggregate Lane Choice Behavior of Highway Mainline Vehicles at the Vicinity of On-ramps | IEEE Conference Publication | IEEE Xplore