武田山トンネルの施工