非开挖技术在城市地下管道修复中的应用