Definition of sample variance