On the Expressive Power of Tree-Structured Probabilistic Circuits