SenseTime IPO lands Chinese professor $3.4bn fortune