estadísticas de empleo de la minería del carbón 2018