金門坑道歷史