First-order Decomposition Trees