How Austin has gone from lagging ticket sales to potentially breaking F1's sprint race record