Optimization of low-carbon multi-energy systems with seasonal geothermal energy storage: The Anergy Grid of ETH Zurich