Hydro-cooled mining vs air-cooled mining, what’s the future?