Platform Computing and Red Bull Formula 1 Racing