鯉魚潭水庫 興建