truncated_normal_cdf function

CDF for truncated normal distribution.