On the Optimality of Age-Dependent Taxes and the Progressive U