https://123dok.org/document/lzg8v5ny-mean-difference-of-truncated-normal-distribution.html