If burning coal became illegal on a world-wide scale, what ecologically harmless functions would remain for the coal we didn't burn?