国际计算机及运筹学在矿业中应用学术会议的简称是。