So 4kWh/t is used to desalinate 2 tons of seawater that turn into 1 ton of freshwater and 1 ton of brine?