Stochastic Optimization Models for Lake Eutrophication Management