淮海战役用了多少人死亡