RTO Frequency Regulation Market Clearing Formulations and the Effect of Opportunity Costs on Electricity Prices.