F1MATHS: Antonelli's tyre management proves decisive as one-stop strategy wins out in Austin