integral of y=exp(-x^2) from -inf to inf