CRDT and SQLite: Local-First Value Synchronization