How Computing Powers Formula 1