nombres y máquinas para la minería