A constitutive model for simulation of water to ice phase change in asphalt mixtures