World Heritage Site of Røros – Mining history