Petroleum pipelines