Why Election Officials Are Pinning Their Hopes on Different Vote-Verifying Technologies