Text this: Geometric modeling of the process of digging trench pits during pipeline repair