System Design: Why is single-threaded Redis so fast