矿山开拓系统数学模型优化实例