淮海战役简介，淮海战役国共双方投入了多少兵力？