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