司马懿有可能已经识破了诸葛亮的空城计，为何还是选择了退兵？