Mole: A flexible operational log analyzer.