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