国有煤矿职工工作时间调查