I spent 4 years in the Navy and was hired as a civil servant and paid $1016.00 to buy back my military time so it counts as time employed. Is this tax deductible?