Why is the "central limit" a normal distribution?