Equilibrium constant for the fractionation of deuterium between ice and water