INGENIC launches HK IPO at HKD102.8, raising HKD3.14 billion