Elon Musk’s tunnels could fix congestion. But not in the way you’d expect