Predicting End-of-Summer Oxygen Profiles in Stratified Lakes