Digital Infrastructure Construction and Energy Efficiency: A Quasi-Natural Experiment with Double Machine Learning | Synapse