more efficient implementation of normal dist.'s CDF