Optimal Taxation In Life Cycle Models