Design and Inference in Finite Population Sampling