A New Estimate of British Coal Production, 1750–1850