A formula for calculating the ion product of water over a wide range of temperature