P-wave velocity changes in freezing hard low-porosity rocks: a laboratory-based time-average model | Synapse