Redistricting and the 2020 census