theoretical study on keto-enol tautomerism and isomerization in pyruvic acid