McLaren's world record Formula 1 pitstop is a lesson in team coordination