NBC News: At least 7,000 federal workers filed for unemployment benefits since shutdown began