Review—Mathematical Formulations of Electrochemically Gas-Evolving Systems