Making Sense of Texas Electricity Markets