小渋ダム掘削工事概要