Spatial Optimization Techniques For School Redistricting