Mathematical modeling of an anion-exchange membrane water electrolyzer for hydrogen production