Enhancing the efficiency of solar pond heat extraction by using both lateral and bottom heat exchangers