历史上的司马懿是怎么死的?