Dominion procedure included possible removal of memory cards from voting machines