Towards the Application of Process Mining for Analyzing the Performance of Mining Processes. - Ignacio Velásquez; Marcos Sepúlveda; José Joaquín Jara (CLEI, 2025)