Pipe-laying ships