井巷实测模型与掘进工程量核算