Griddy’s customers moved to other electricity providers after ERCOT withdrew it from the Texas market