Some algorithmic problems for finitely defined commutative semigroups