From coallery to the natural history of strata: mining and the spatial sciences of the earth in Britain, 1600-1800