Didi: 5 things we learnt from its IPO