Optimal partisan gerrymandering