Quantitative Understanding and Prediction of Lake Eutrophication