围岩作用于衬砌垂直荷载的理论解和数值分析解对比