Binary nucleation. I. Theory applied to water–ethanol vapors