Wie viel trug der Tourismus in Miami 2016 zur Wirtschaftsleistung bei?