ИВМ РАН, Институт вычислительной математики РАН