Global optimization of heat exchanger network synthesis problems with and without the isothermal mixing assumption