A federal judge ruled against the census citizenship question. What’s next?