Inside Roborace: the Formula One for self-driving cars