Semianalytical Solution to Determine Minimum Safety Thickness of Rock Resisting Water Inrush from Filling-Type Karst Caves