Integrating Domain Knowledge into Process Discovery Using Large Language Models