Ohio city makes Election Day a paid holiday -- by swapping out Columbus Day