Text this: A Quantitative Evaluation Method Based on Back Analysis and the Double-Strength Reduction Optimization Method for Tunnel Stability