integrate 1/(sqrt(2*pi) * 2)e^(-(x-10)^2/(2*2^2)), from x = 5 to 12