If the government shuts down, here's how it would work