On the stratification of noncommutative prime spectra