11 Things to Know About How the Government Shutdown Affects Federal Workers