The Texas legislature just killed the lottery