Text this: Technological change and productivity in the bituminous coal industry, 1920-60 /