Index Hybrid DAE Model Based on Fundamental Principles for NMPC of a Flash Separation Drum