On the surjunctivity of Artinian linear cellular automata over residually finite groups