Optimal Time-Consistent Taxation with Overlapping Generations