Depletion potential in hard-sphere mixtures: theory and applications