诸葛亮死后司马懿都干嘛了？