Diffusion in helium white dwarf stars