司马懿知道诸葛亮死了,故意撤兵吗