Mathematicians are developing statistical forensics to identify districts that disenfranchise voters