Quantifying the Geological Premium in Carbon Footprints of Microtunneling: An EN 15804-Based Case Study in Hard Gravel Formations | Synapse