How do you determine how much of your federal civil service annuity is taxable? in Retirement tax questions