Autoionization constant for water