The pressure in the part of a high pressure refrigeration system about to be opened for a non-major repair should be brought to what value?