采矿后矿洞的处理方式