viejas herramientas de minería de carbón