FBI deputy director announces he’s leaving post