Punchscan: Introduction and System Definition of a High-Integrity Election System