Ryan Mindell steps down as Texas Lottery Executive Director