Designing Pareto-optimal RAG workflows with syftr