Analytical model of solar pond with heat exchanger