Redistricting and Polarization