The diffusion of helium, hydrogen, nitrogen, and air through electrolytic nickel