Why a judge paused Trump's buyout deadline for federal workers