Optimal Operation and Control of Power Systems Using an Algebraic Modelling Language