how is the "Total number of known users" reported by doveadm replicator calculted?