A new efficient probabilistic model for mining labeled ordered trees