Ryan Mindell deixa o cargo de diretor executivo da Loteria do Texas