Unification in a Commutative Monoid