Continuum-micromechanics approach for determination of frost heave in artificial ground freezing