An improved Henry gas optimization algorithm for joint mining decision ...