中国人民解放军首次炮击金门在（）年。