integrate x sin x from 0 to pi