Turning carbon dixide back into coal