Redistricting by Formula: An Ohio Reform Experiment