Linear probabilistic counter as aggregate UDF to estimate COUNT(DISTINCT x)