Spanning Trees and Redistricting: New Methods for Sampling and Validation | AMiner