Roboterra files for Hong Kong IPO with 3 banks as sponsors