Optimal synthesis of heat exchanger networks involving isothermal process streams