矿上建井掘砌进尺累吗