Judge pauses much of Trump administration’s massive downsizing of federal agencies