Who gets paid and who doesn’t during a U.S. government shutdown