The Market Guide: A Guide to How the Electric Reliability Council of Texas (ERCOT) Facilitates the Competitive Power Market