Mandriva invests in Formula One racing