UK government spends £25,000 on judges’ security