金門坑道 歷史