A quantitative description and analysis of the growth of the Pennsylvania anthracite coal industry, 1820 to 1865