How does Redis work internally?