integral of sin^2(x) from 0 to pi