Email zadetek: Phase-field modeling of frost propagation of cracks for rock mass under frost action