LiDAR-Guided 3D Gaussian Splatting with Differentiable UDF-Based Regularization for Mine Tunnel Reconstruction | Synapse