How computer models can prevent partisan gerrymandering