Gibbs: Phase equilibria and symbolic computation of thermodynamic properties