Grupo do sindicato de mineiros de Aljustrel, Grupo trabalhadores das minas de Aljustrel