Damage production in iron during high-energy ion irradiation: Experimental and theoretical determinations☆