When Driving Is (Partially) Automated, People Drive More