History of mining in the Spiš region