鯉魚潭水庫 歷史