Overall size of the labor pool