Marine services provider Pinnacle files for Hong Kong IPO