The ionization constant of water