máquina eléctrica utilizada en la minería del carbón