Camino antiguo para entrar al Horcajo, MINAS DE HORCAJO