Text this: Selección de métodos extractivos y su impacto en la productividad minera – estudio de caso en la minería de carbón colombiana