Text this: Theoretical Study of a Design Method for Underexcavation in Building Rectification