Voting Machinery, Counting and Public Proofs in the 2000 US Presidential Election