一旦矿难发生如何展开救援