Charged lepton production from iron induced by atmospheric neutrinos