Electricity Market and Power System Control through A Functional Description