Multi-Vehicle Automated Driving as a Generalized Mixed-Integer Potential Game