population standard deviation simple definition