12. Museo de la Minería y la industria // Lucha obrera bajo el suelo, en la minería