What are the symbols for the sample variance and for the population variance?