A model of segregation frost heave for saturated soil freezing under overburden pressure