SenseTime posts first IFRS profit of 617 million yuan since IPO