FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata