Gibbsin energia, perusyhtälöt