The value of the ion product constant for water