On residually finite semigroups of cellular automata