Mathematical modeling of high-pressure PEM water electrolysis