A bound-branch algorithm for qualitative and quantitative analyses of mixtures