矿山井建测量中的竖井井筒掘砌的测量