Wages and hours of labor in the coal mining industry in 1919