Cavando direitos: As leis trabalhistas e os conflitos entre os mineiros de carvão e seus patrões no Rio Grande do Sul (1940-1954)