A millennium of ore mining and smelting in the eastern Harz: a geospatial database spanning from the medieval period to the 20th century