Thermal stratification, mixing, and heat budgets of Florida lakes.