矿山开采量与掘进量的关系