Sequence Mining Automata: A New Technique for Mining Frequent Sequences under Regular Expressions