各类煤矿事故典型案例汇编.