Human capital and productivity in manufacturing during the twentieth century