定积分 $\int_{0}^{\pi/2} \sin x \cos x dx =$ ______。