What is the integral of (sinx)^3 dx from 0 to pi/2?