Theoretical modeling of enzyme reactions: The thermodynamics of formation of compound 0 in horseradish peroxidase