Complexity of the identity checking problem for finite semigroups