Minimum variance stratification of a finite population