cumulative distribution function of the normal distribution