integrate sin x dx from 0 to pi