Modeling spatial and temporal variations in temperature and salinity during stratification and overturn in Dexter Pit Lake, Tuscarora, Nevada, USA