Text this: Key Techniques for Rapid Jacking and Laying of Pipelines