Temperature dependent electrochemical equilibrium diagram of zirconium-water system studied with density functional theory and experimental thermodynamic data