Traffic congestion soared in Miami after it became a pandemic boomtown, with gridlock costing the city $3.1 billion per year. Now, politicians and billionaires are pushing for ways to fix it.