Applicability of Process Mining in Usability Tests: A Case Study for Identifying User Mental Models in Geospatial Search Engines (IEEE Open Journal of the Computer Society, 2026)