煤矿地质信息技术包括哪些方法？