Textmeddelande: Empleo minero y demografía en España (1860-2000). Aproximación a unas tipologías de impacto poblacional