Federal workers around Austin brace for shutdown