definición de equipo de minería