Title: Nonnegative variance estimation of the Hotvitz-Thompson estimator for samples of fixed size when sampling without replacement