Algorithmic Problems For Subsemigroups Of Infinite Groups