SENASIC targets HKD 907 million in Hong Kong IPO with 9 cornerstone backers