Dollar General names Walmart vet as chief marketing officer