Retrograde solubility in binary systems