Finn Borch Andersen stopper som chef for PET