Algorithmic Engineering Towards More Efficient Key-Value Systems