Taxation in a Life-Cycle Model