古宁头大战的始末,金门战役的影响