Predicting the volume instability of hydrated cement systems upon freezing using poro-mechanics and local phase equilibria