Data Lineage in RAG with PROV‑O