WSJ: Texas' energy deregulation has been a terrible deal for Texas consumers