Title: Variance estimation for survey statistics using techniques based on partial samples