Waterproof Performance Analysis of Water Sealing Gasket of Large Open Shield Tunnel Based on Effective Contact Stress