POLITICAL DISTRICTING: Solving a Multi-Objective Problem Using Tabu Search (International Series in Operations Research & Management Science)