Signatures certified: Ohio anti-gerrymandering amendment on its way to November ballot