Semigroup and Poincaré series for a finite set of divisorial valuations