Redistricting: A Manual for Analysts, Practitioners, and Citizens