Herramientas y máquinas de minería de carbón