Trabajo infantil en la minería: apuntes históricos