Model-based assessment of the impact of driver-assist vehicles using kinetic theory