阳泉市 (China). 矿务局. 矿史编写组