Optimal Redistributive Capital Taxation in a Neoclassical Growth Model