PracTools: Computations for Design of Finite Population Samples