US Pension Taxes Shape Retirement Choices