Development of a DFT-driven thermodynamic framework for ferrous alloy electrochemistry in acidic media