Объясни CRDT для multi-master replication: G-Counter, PN-Counter, OR-Set, LWW-Register. Какие математические свойства требуются, как достигается eventual consistency без координации, где CRDT проигрывают и где они единственно правильный выбор. Дай пример merge-функции с цифрами.