空长竹在开矿中的作用（空长竹在开矿中的作用是什么）