Mining, Pruning and Visualizing Frequent Patterns for Temporal Event Sequence Analysis