解放战争时解放军一个纵队多少人?