Zaslat SMS: Design and inference in finite population sampling