A system operator's utility function for the frequency response market. (1st December 2018)