空长竹在开矿中的作用 天工开物记载空长竹在开矿中的主要作用是什么