Numerical modeling of thermal stratification in a lake reservoir. Methodology and case study