I am retired from Civil service. Are my payments for health insurance part of my taxable retirement? Do I deduct from my taxable amount in box 2?