What is a population standard deviation