Analytical model for the sealant performance of tunnel gasketed joints based on multi-scale contact and percolation theories | Synapse