Process Query Language: A Domain-Specific Language for Querying Event Logs of Business Processes (Foundations of Computing and Decision Sciences, 2025)