Optimal income taxation with endogenous human capital by