Как реализовать распределённую систему, удовлетворяющую всем свойствам CAP? Какие там есть свойства?