nombre de las herramientas y máquinas utilizadas para la minería