ELI5: What exactly are these federal funds going to "sanctuary cities", and what is their intended purpose? How would Trump's EO withhold them, assuming no ban was in place?