For 2024, at what modified adjusted gross income (MAGI) does the traditional IRA deductibility phase-out begin for a single filer covered by a workplace retirement plan?