Precision estimation in sample survey inference: A criterion for choice between variance estimators