Implementation of Spring Data Redis repositories