Halderman testifies about vulnerabilities in federal election system