地下矿开拓系统方案优选数学模型