Outgoing HMRC tech chief Mark Denney on AI in Whitehall, his next move and the search for a successor