Leveraging Large Language Models (LLMs) for Process Mining (Technical Report) Preprint in arXiv (July 2023)