Add school district boundaries

[jfdman]

Expect the MAZ data file to have school district boundaries and apply them in school location choice for K12 segments. Add a preprocessing check to ensure that there is at least one school in each district for each school segment.