지하암반에 건설되는 다음 시설들 중에서 공동 상부에 수장막(water curtain) 터널이 설치되는 경우가 있는 것은?