Ohio Supreme Court strikes down Republican gerrymander of map