High pressure phase equilibria for binary systems involving a solid phase