El proveedor de IA RoboTechnik apunta a una OPI de 800 millones de dólares en Hong Kong