A Log-Based Task Model Inference Tool and Its Applications