Stochastic Alignments: Matching an Observed Trace to Stochastic Process Models