Henry gas solubility optimization for control of a nuclear reactor: A case study