Model of gas diffusion electrode for O2 production