Probabilistic Process Discovery with Stochastic Process Trees