地下采矿需要多长时间