Technology for Public Participation in Redistricting