Reverse electrodialysis heat engine with helium-gap diffusion distillation: Energy efficiency analysis