Pipelaying vessel