Empirical Frost Heave Model for Saturated Rock Under Uniform and Unidirectional Freezing Conditions