Gravar-mail: Review—Mathematical Formulations of Electrochemically Gas-Evolving Systems