A frost heave interface condition for use in numerical modelling