Vitalsource Technologies, Inc. Optimal Operation and Control of Power Systems Using an Algebraic Modelling Language