What Are the Best Algorithms for Mining Repetitive Patterns in Windows Usage Data