О внесении изменения в Трудовой кодекс Российской Федерации в части регулирования труда работников угольной промышленности