Analysis of Ohio Redistricting Proposals