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