Optimal estimation of a finite population mean in the presence of linear trend