Ohio Coal Production, 1872-1914