Finitely generated commutative monoids