Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation