Diffusive-type of double diffusion in lakes â a review