Text this: Asbestos-cement pipes and joints for thrust-boring and pipe jacking