A brief history of computing in Formula 1