A Benchmark Air Separation Unit Model for Process Control and Flexible Operation