Discovering Players' Problem-Solving Behavioral Characteristics in a Puzzle Game through Sequence Mining.