Raoult's law as applied to binary solvent mixtures