Why are Formula 1 pit stops so fast?