海南岛战役牺牲了多少解放军