Process mining library for discovering, analyzing and visualizing business processes from event data