司马懿是怎么死的