concrete coated pipe used in sub sea pipeline systems