Mexican Grand Prix briefing: Antonelli seals F1 title with third place, Verstappen wins