building mental models for tradeoffs in performance, availability and durability in data systems