A conceptual model of ATProto and ActivityPub