Lightweight Two-Stage RAG Retrieval Model Construction and Optimization for Coal Mine Safety: An Industrial RegTech and Industry 5.0 Perspective | Synapse