Can sharing a ride make for less traffic? Evidence from Uber and Lyft and implications for cities