夷陵之战后蜀国还有多少兵