Labour utilization and labour management in the British coalmining industry, 1900-1940