Salinity gradient energy harvested from thermal desalination for power production by reverse electrodialysis