Electrochemical modeling of ammonia-fed solid oxide fuel cells based on proton conducting electrolyte