Carbon pollution in helium-rich white dwarf atmospheres: time-dependent calculations of the dredge-up process