原来在煤矿下井，后从事教育工作，退休时下井工令如何计算。