發送短信: A mathematical model of differential frost heave