A city in Ohio made Election Day a holiday—and set an example for the US