Lifetime aggregate labor supply with endogenous workweek length