workforce size