20 矿井测量工