Prehistoric miners operated a copper mining camp high in Spain's Pyrenees mountains 5,500 years ago, contradicting previous assumptions about mountain travel.