SenseTime successfully IPO despite US sanctions