Effective Segmentation of Large Execution Traces Using Probabilistic and Gaussian Mixture Models