The deductibility of a traditional IRA contribution phases out for single filers covered by a workplace plan at what income range in 2024?