Charged lepton electric dipole moments from TeV-scale right-handed neutrinos