Juan Joseph, a former MI5 IT contractor, shared information with a foreign state but was found "not guilty by reason of insanity" by a jury.