Integral of a Gaussian function