A theoretical study of the effect of a non-aqueous proton donor on electrochemical ammonia synthesis