[math-fun] Integral of a Gaussian times a Hermite polynomial