Federal court rules against Texas gerrymandering