Estimation for finite population variance in double sampling