A Synthesis of Vote Verification Methods