Mathematical modelling and experimental assessment of fire-induced shotcrete spalling | Synapse