CASPaxos - Linearizable databases without logs