Numerical simulation of defect ion transport across electrode-electrolyte interfaces of proton-conducting electrolysis cells