Kabelinstallatieschip