An introduction to Conflict-Free Replicated Data Types