Sub-ambient heat exchanger network design including compressors. (1st December 2015)