How much can the internet be greened?