京剧经典剧目《空城计》中，司马懿的角色是()。