在计算机运行时,把程序和数据存放在内存中,这是1946年由谁领导的研究小组正式提出并论证的?