Redrawing U.S. congressional districts