I am retired, made 401k withdrawals. I had 10% withheld for Federal Income tax, totaling $9000, as reported on my 1099-R. Are these estimated federal tax payments ?