矿山开采进度计划的基建工程量的确定