Added implementation of CounterService for Redis