Variance estimation of the horvitz thompson estimator and GREG estimator of the finite population total