New rigorous one-step MILP formulation for heat exchanger network synthesis