integrate sin x dx from x=0 to pi