Holes drilled into extinct volcano could use magma’s heat to pipe hot water through buildings