Decommissioned open-pit mines are potential geothermal sources of heating or cooling for nearby population centres | Publicación