Turning carbon dioxide back into solid coal