DTECH launches HKD4.7B Hong Kong IPO at HKD380 per share