Employment and Real Wages for Machinists, 1940-2022