文康《儿女英雄传》中的心高气傲、豪爽天真而又风趣诙谐的女主人公十三妹的真名是（）。