Is a traditional IRA deduction the same as a 401K deduction?