Who is the mathematician who derived the equation of the probability distribution of the normal distribution.​