Dynamic Optimal Redistributive Taxation with Endogenous Retirement