Istituto dell'Enciclopedia Italiana, Programmi multimediali ed educativi