An Evaluation Study on Log Parsing and Its Use in Log Mining