Why do desalinization plants use membrane separation like reverse osmosis instead of the seemingly more obvious solution of distillation?