Ohio's new district map, set to shape politics for 10 years, isn't done