论信息化技术在露天煤矿的应用