Theoretical study of two-stage water vapor compression systems