Does Congress get paid during a government shutdown?