When Florida voters in 2010 passed a constitutional amendment setting rules for congressional redistricting, they barred drawing districts that would “diminish” the ability of minorities to “elect representatives of their choice.”