Combining experiment and density functional theory to study the mechanism of thermochemical sulfate reduction by hydrogen in supercritical water