Trabajo minero: el rol de los mayordomos en los distritos carboníferos del Golfo de Arauco en Chile (1920-1940)