S.F. judge orders Trump administration to rehire 675 workers it fired during shutdown