integral of x*sinx from 0 to pi