Universal Property of the Grothendieck Group of a Commutative Monoid