Guaranteeing the Õ(AGM/OUT) Runtime for Uniform Sampling and Size Estimation over Joins.