The measurement of industrial employment by the Bureau of Labor Statistics