History of Ohio's top income tax rate