How much energy would be required to sequester the sum of all carbon dioxide emissions since the beginning of the Industrial Revolution?