Stratification and mixing dynamics in tropical polymictic Lake Batur, Indonesia | Synapse