Technical change in the bituminous coal industry, 1919-1954