TEM在山西晋城煤矿采空区探测中的应用