Τι είναι το Redis και πού χρησιμοποιείται συνήθως;