The Ordnance Survey and land-use mapping by J. B. Harley