The Computer Science behind a modern distributed data store