A rigorous electrochemical ammonia synthesis protocol with quantitative isotope measurements