The highlights of Chinese ride-hailing giant Didi’s IPO filing, in five numbers