Gravar-mail: Enhancing Process Discovery by Optimizing Imprecise Sub-processes