US govt shutdown: What closes and what remains open