Didi is facing an SEC probe into its botched IPO