Rīgas Tehniskā universitāte, Informācijas tehnoloģijas institūts