Высшая школа экономики, Факультет компьютерных наук